»Finder komplett beenden: Terminal-Kommando erweitert Menü«, via @ifun —

https://www.ifun.de/finder-komplett-beenden-terminal-kommando-erweitert-menue-104546/